首页> 外文OA文献 >Splitting on Demand in SAT Modulo Theories

【2h】

Splitting on Demand in SAT Modulo Theories

机译：saT模数理论中的分裂需求

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Solving SAT and SAT Modulo Theories: From an Abstract Davis-Putnam-Logemann-Loveland Procedure to DPLL(T) [J] . ROBERT NIEUWENHUIS, ALBERT OLIVERAS, CESARE TINELLI Journal of the Association for Computing Machinery . 2006,第6期

机译：解决SAT和SAT模理论：从抽象的Davis-Putnam-Logemann-Loveland过程到DPLL（T）
2. Solving constraint satisfaction problems with SAT modulo theories [J] . Miquel Bofill, Miquel Palahi, Josep Suy, Constraints . 2012,第3期

机译：用SAT模理论解决约束满足问题
3. Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory [J] . Kinsman A.B., Nicolici N. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2010,第3期

机译：基于SAT模理论的用于科学计算的硬件加速器的位宽分配
4. Splitting on Demand in SAT Modulo Theories [C] . Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, International Conference on Logic for Programming, Artificial Intelligence and Reasoning(LPAR 2006); 20061113-17; Phnom Penh(KH) . 2006

机译：SAT模理论中的按需拆分
5. Unification modulo common list functions A discussion of complexity and decidability modulo various combinations of observer theories [D] . Hibbs, Peter 2015

机译：统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
6. Miniature Bioreactors: On‐Demand Coalescence and Splitting of Liquid Marbles and Their Bioapplications (Adv. Sci. 10/2019) [O] . Ben Wang, Kai Fung Chan, Fengtong Ji, 2019

机译：微型生物反应器：液体大理石的按需合并和分裂及其生物应用（Adv。Sci。10/2019）
7. Splitting on demand in sat modulo theories [O] . Clark Barrett, Robert Nieuwenhuis, Albert Oliveras, 2006

机译：在模数理论中按需分裂
8. Small Aircraft Transportation System (SATS) Demand Model [R] . Long, D. , Lee, D. , Johnson, J. , 2001

机译：小型飞机运输系统（saTs）需求模型

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号